#include "init.h"
#include "debug.h"
#include "../lib/kernel/print.h"
int main(void) {
    put_str("I am kernel\n");
    init_all();
    ASSERT(1==2);
    while (1);
    return 0;
}
